ChangeLog fix (no need to merge to trunk)
authorGlenn Morris <rgm@gnu.org>
Thu, 11 Jul 2013 17:19:31 +0000 (13:19 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 11 Jul 2013 17:19:31 +0000 (13:19 -0400)
commit02bb5af9392d5363a6ca2a127b96f23140490518
tree8bc86cd08662cffd1bec5e31b7e90f4e9bddd238
parentd824a11ac9e05bc9f00df69fee02878550cb0e76
ChangeLog fix (no need to merge to trunk)
ChangeLog